HENSELIAN RESIDUALLY p-ADICALLY CLOSED FIELDS
نویسنده
چکیده
In (Arch. Math. 57 (1991), pp. 446–455), R. Farré proved a positivstellensatz for real-series closed fields. Here we consider p-valued fields 〈K, vp〉 with a non-trivial valuation v which satisfies a compatibility condition between vp and v. We use this notion to establish the p-adic analogue of real-series closed fields; these fields are called henselian residually p-adically closed fields. First we solve a Hilbert’s Seventeenth problem for these fields and then, we introduce the notions of residually p-adic ideal and residually p-adic radical of an ideal in the ring of polynomials in n indeterminates over a henselian residually p-adically closed field. Thanks to these two notions, we prove a Nullstellensatz theorem for this class of valued fields. We finish the paper with the study of the differential analogue of henselian residually p-adically closed fields. In particular, we give a solution to a Hilbert’s Seventeenth problem in this setting.
منابع مشابه
Cross-Sections for p-Adically Closed Fields
and cross-section g g G ¬ t. w x If p is prime, a p-valued field 8, p. 7 is a valued field, of characteristic zero, in which p has minimal positive value and whose residue field has p Ž . elements. A p-valued field F, ̈ is p-adically closed just in case no algebraic extension F9 of F with valuation ̈ 9 extending ̈ is p-valued. The Ž . class of p-adically closed fields is to Q , ̈ as the class of re...
متن کاملWhen Does Nip Transfer from Fields to Henselian Expansions?
Let K be an NIP field and let v be a henselian valuation on K. We ask whether (K, v) is NIP as a valued field. By a result of Shelah, we know that if v is externally definable, then (K, v) is NIP. Using the definability of the canonical p-henselian valuation, we show that whenever the residue field of v is not separably closed, then v is externally definable. We also give a weaker statement for...
متن کاملDense subfields of henselian fields, and integer parts
We show that every henselian valued field L of residue characteristic 0 admits a proper subfield K which is dense in L. We present conditions under which this can be taken such that L|K is transcendental and K is henselian. These results are of interest for the investigation of integer parts of ordered fields. We present examples of real closed fields which are larger than the quotient fields o...
متن کاملExistential ∅-Definability of Henselian Valuation Rings
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F [[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields. §
متن کامل